 |
0 索取号:O17/E803 作者:Keisler、 H. Jerome.、 出版社:Boston : Prindle, Weber & Schmidt, c1976.
|  |
0 索取号:Q-3/E902 作者: 出版社:Boca Raton, Fla. : CRC Press, c1984.
|
 |
0 索取号:Q-1/E901 作者: 出版社:San Francisco : W. H. Freeman, c1980.
|  |
0 索取号:O157.4/E802 作者:Hartnett、 William E.、 出版社:Dordrecht ; Boston : D. Reidel Pub., [1974].
|
 |
0 索取号:O157-53/E991 作者:Eurocode '90 (1990 : Udine、 Italy)、Cohen、 G. (ǴЕrard)、 1951-、Charpin、 P. (Pascale)、 1949-、 出版社:Berlin ; New York : Springer-Verlag, c1991.
|  |
0 索取号:I712.45/E9038 作者:Asimov、 Isaac、 1920-、 出版社:Garden City, N.Y. : Doubleday, 1986.
|
 |
0 索取号:O15/E908 作者:Kashiwara、 Masaki、 1947-、Kawai、 Takahiro.、Kimura、 Tatsuo、 1947-、 出版社:Princeton, N.J. : Princeton University Press, 1986.
|  |
0 索取号:K826.1/E701 作者:Lurie、 Edward、 1927-、 出版社:London ; Baltimore : Chicago'Univ.Press ; Johns Hopkins University Press, 1960,c1988.
|
 |
0 索取号:O141-53/E902 作者:Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、 出版社:Berlin ; New York : Springer-Verlag, c1985.
|  |
0 索取号:O1-55/E801 作者: 出版社:London ; San Francisco : Pitman, 1977-1979
|
 |
0 索取号:O14-53/E801 作者:Scandinavian Logic Symposium.、Jensen、 Finn V.、Mayoh、 B. H.、MøЛler、 Karen K.、 出版社:Aalborg : Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag, 1979.
|  |
0 索取号:O1-53/E904 作者: 出版社:New York : Springer-Verlag, c1986.
|
 |
0 索取号:O1-53/E802/1 作者:Symposium in Pure Mathematics、 Northern Illinois University、 1974.、Browder、 Felix E.、American Mathematical Society.、 出版社:Providence : American Mathematical Society, 1976.
|  |
0 索取号:O1-0/E805.3 作者:Willerding、 Margaret F.、Engelsohn、 Harold S.、 joint author.、 出版社:New York : Wiley, c1977.
|
 |
0 索取号:O1/E906 作者:Graham、 Ronald L.、 1935-、Knuth、 Donald Ervin、 1938-、Patashnik、 Oren.、 出版社:Reading, Mass. : Addison-Wesley, c1989.
|  |
0 索取号:N7/E801.2 作者:Hechtlinger、 Adelaide.、 出版社:Palisade, N.J. : Franklin Pub. Co., [1975]
|